]> dgit.raspbian.org Git - gnome-shell.git/commitdiff
portalHelper: Stop monkey-patching String.format()
authorFlorian Müllner <fmuellner@gnome.org>
Wed, 8 Mar 2023 18:40:01 +0000 (19:40 +0100)
committerMarge Bot <marge-bot@gnome.org>
Tue, 25 Apr 2023 10:45:19 +0000 (10:45 +0000)
It's not used, so no need to set it up.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2690>

js/portalHelper/main.js

index 62a522e51aa1577cefdd202b58d755cd44f621e1..0df58845127c1a0699256f2dfe3d15be38bdde42 100644 (file)
@@ -3,7 +3,6 @@ imports.gi.versions.Pango = '1.0';
 imports.gi.versions.Gtk = '3.0';
 imports.gi.versions.WebKit2 = '4.1';
 
-const Format = imports.format;
 const Gettext = imports.gettext;
 const { Gio, GLib, GObject, Gtk, Pango, WebKit2: WebKit } = imports.gi;
 
@@ -356,13 +355,7 @@ class WebPortalHelper extends Gtk.Application {
     }
 });
 
-function initEnvironment() {
-    String.prototype.format = Format.format;
-}
-
 function main(argv) {
-    initEnvironment();
-
     if (!WebKit.WebContext.new_ephemeral) {
         log('WebKitGTK 2.16 is required for the portal-helper, see https://bugzilla.gnome.org/show_bug.cgi?id=780453');
         return 1;